{int} shakeWLoop p1 p2 p3 {int a, char b, classA ca}  
                   = {shakeW i}(w) ; {shakeWLoop (c-1) (i+1)}(w)